π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·19h·
Discuss: r/programming
🧠Memory Models
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·13h·
Discuss: Hacker News
🔢Algebraic Datatypes
Cap'n Proto in WASM
mikel.xyz·4h·
Discuss: Hacker News
🔧WASI
µs Human-Readable IDs: A Performance Journey
dev.to·22m·
Discuss: DEV
📋JSON Parsing
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·9h
🎲Parser Fuzzing
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·19h
🧮Combinator Calculus
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
Is Odin Just a More Boring C?
dayvster.com·2h·
Discuss: Hacker News
🐹Go Internals
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·21h·
Discuss: Hacker News
🛡️Capability Security
On This Day in Math - October 6
pballew.blogspot.com·8h·
Discuss: www.blogger.com
📐Mathematical Computing
A PhD in Snapshots
rbharath.github.io·12h·
Discuss: Hacker News
🎯Finite Automata
The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·20h
📐Mathematical Computing
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·6h·
Discuss: Hacker News
⚡Cache Optimization
Recurse Checkins
404wolf.com·12h
🔄Bootstrapping
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·15h·
Discuss: DEV
🔬Nanopasses
Working pipe operator today in pure JavaScript
github.com·2d·
Discuss: Hacker News
🌪️V8 Pipeline
Property-based testing of batch-invariant operations
mmaaz.ca·14h·
Discuss: Hacker News
🎲Property Testing
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·9h
📱Bytecode Design